home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 2.iso / STUTTGART / PROBLEMS / BENCHMARK / BUBBLESORT / bubbletest / makeprove < prev    next >
Text File  |  1992-05-13  |  238b  |  5 lines
  1. set bubbletest$dir <obey$dir>
  2. *if "alias$formula"="" then error 1 formula not installed ! doubleclick to !formula
  3. formula -make <bubbletest$dir>.func_asm <bubbletest$dir>.provefunc
  4. formula <bubbletest$dir>.prove <bubbletest$dir>.provesrc
  5.